Updates to TRACK_TEST and TRACK_VISION Computer Programs
نویسندگان
چکیده
منابع مشابه
Computer program TRACK_VISION for simulating optical appearance of etched tracks in CR-39 nuclear track detectors
A computer program called TRACK_VISION for determining the optical appearances of tracks in nuclear track materials resulted from lightion irradiation and subsequent chemical etching was described. A previously published software, TRACK_TEST, was the starting point for the present software TRACK_VISION, which contained TRACK_TEST as its subset. The programming steps were outlined. Descriptions ...
متن کاملFrom Logic Programs Updates to Action Description Updates
An important branch of investigation in the field of agents has been the definition of high level languages for representing effects of actions, the programs written in such languages being usually called action programs. Logic programming is an important area in the field of knowledge representation and some languages for specifying updates of Logic Programs had been defined. Starting from the...
متن کاملGeneralizing Updates: From Models to Programs
Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The updating of theory models is governed by their update rules and also by inertia applied to those literals not directly affected by the update program. Though this is important, it remains necessary to tackle as well the updating ...
متن کاملUpdates of Logic Programs
Dynamic aspects of knowledge representation has been tackled recently by a variety of approaches in the logic programming style. We consider the approaches characterized by the causal rejection principle (if there is a conflict between rules, then more preferred rules override those less preferred). A classification and a comparison of the approaches is presented in the paper. We compare them a...
متن کاملUpdates of Logic Programs by Logic Programs
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in rule bodies but also in their heads.We start by introducing the notion of an update P U of a logic program P by another logic program U . Subsequently, we provide a precise semantic character...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Polymers
سال: 2021
ISSN: 2073-4360
DOI: 10.3390/polym13040560